Nuprl Definition : product def
13,42
postcript
pdf
x
:
A
B
(
x
) is Primitive
latex
Up
core
1
,
core
1
FDL editor aliases
dprod
origin
B(x) is Primitive B(x) is Primitive